<HTML><HEAD><TITLE>member(+Map, ?Key, ?Value)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(m_map)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>member(+Map, ?Key, ?Value)</H1>
Succeeds if Key and Value unify with a key/value pair from Map.
<DL>
<DT><EM>Map</EM></DT>
<DD>A map
</DD>
<DT><EM>Key</EM></DT>
<DD>A key from Map
</DD>
<DT><EM>Value</EM></DT>
<DD>The value in Map corresponding to Key
</DD>
</DL>
<H2>Description</H2>
	<P>
	Tries to unify Key and Value with key/value pairs from the map Map.
	</P>
	<P>
	If Key and Value are variables and Map is a map, then all
	members of the map Map are found on backtracking.
	</P>
	<P>
	This predicate should only be called with maps created by other
	predicates from the map module.
	</P>
	
<H3>Fail Conditions</H3>
Fails if Key and Value do not unify with a key/value pair from Map.
<H3>Resatisfiable</H3>
yes
<H2>See Also</H2>
<A HREF="../../lib_public/m_map/search-3.html">search / 3</A>, <A HREF="../../lib_public/m_map/lookup-3.html">lookup / 3</A>
</BODY></HTML>
